🧠 Program Logic - matmat · Scour

Reduction for Structured Concurrent Programs

arxiv.org·14h

🧠Separation Logic

Heaps do lie: debugging a memory leak in vLLM.

mistral.ai·3h·

Discuss: Hacker News

🧠Memory Forensics

Conversation: LLMs and the what/how loop

martinfowler.com·4h

🧩WASM Components

Filtering as domain logic

blog.ploeh.dk·1d·

Discuss: r/programming

🗄️Database Internals

Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites

dev.to·5h·

Discuss: DEV

🦀Embedded Rust

Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained

dev.to·5h·

Discuss: DEV

🌊Stream Processing

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·14h

🔗Functional Compilers

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

Escaping the Trifecta

jesseduffield.com·1d

Making an LSP for great good

thunderseethe.dev·19h·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·3h

🔗Constraint Handling

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📊Static Analysis

On the way to step functions: the two worlds

blog.julik.nl·1d

🐚Shell Calculus

Stop Overusing Interfaces (2017)

blog.hovland.xyz·4h·

Discuss: Hacker News

🔌Interface Evolution

CodeSOD: Well Timed Double Checking

thedailywtf.com·1d

🧪Binary Fuzzing

vandragt.com·1d

✅Format Verification

Evolution of LLMs use by a programmer

asfaload.com·2h·

Discuss: Hacker News

🧩WASM Components

Software as clay on the wheel

dri.es·23h

⚡Proof Automation

A new era of agents, a new era of posture

microsoft.com·4h

🎯Threat Hunting

Linux task-level io_uring restrictions

lwn.net·2d·

Discuss: Hacker News

Loading more...